#include "Serializable_Int.h"

std::ostream& operator<<( std::ostream& os,
                          const Serializable_Int& v ) {
    return v.print(os);
}
